-
1 verification condition generator
генератор условия верификации (одна из двух частей системы автоматического обеспечения доказательства правильности программы)Англо-русский словарь промышленной и научной лексики > verification condition generator
См. также в других словарях:
проверка — 2.9 проверка [аудит]: Систематическая и объективная деятельность по оценке выполнения установленных требований, проводимая лицом (экспертом) или группой лиц, независимых в принятии решений. Источник: ГОСТ Р 52549 2006: Система управления… … Словарь-справочник терминов нормативно-технической документации
система — 4.48 система (system): Комбинация взаимодействующих элементов, организованных для достижения одной или нескольких поставленных целей. Примечание 1 Система может рассматриваться как продукт или предоставляемые им услуги. Примечание 2 На практике… … Словарь-справочник терминов нормативно-технической документации
Балаковская АЭС — Балаковская АЭС … Википедия
ГОСТ Р ИСО 14644-6-2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины — Терминология ГОСТ Р ИСО 14644 6 2010: Чистые помещения и связанные с ними контролируемые среды. Часть 6. Термины оригинал документа: 2.136 U дескриптор (U descriptor): Концентрация частиц (2.102) в 1 м3 воздуха, включая ультрамелкие частицы… … Словарь-справочник терминов нормативно-технической документации